منابع مشابه
Proof Labeling Schemes ∗ Amos Korman
This paper addresses the problem of locally verifying global properties. Several natural questions are studied, such as “how expensive is local verification?” and more specifically “how expensive is local verification compared to computation?” A suitable model is introduced in which these questions are studied in terms of the number of bits a node needs to communicate. In addition, approaches a...
متن کاملCompetitive Paging Algorithms AMOS FIAT
The paging problem is that of deciding which pages to keep in a memory of k pages in order to minimize the number of page faults. We develop the marking algorithm, a randomized on-line algorithm for the paging problem. We prove that its expected cost on any sequence of requests is within a factor of 2Hk of optimum. (Where Hk is the kth harmonic number, which is roughly Ink.) The best such facto...
متن کاملCersten Jakob: Von Prüfungsangst zu Prüfungsmut, von Lampenfieber zu Auftrittslust
1. The author of this book wants to reveal ways leading to more confidence and calmness in exams and while performing in front of small or larger audiences. A short introduction is followed by a definition of the term stage fright and a distinction between useful and obstructive types (stage fright). The complexity of the phenomena stage fright and exam anxiety is vividly visualised on the basi...
متن کاملWege zu VoIP - Konvergenztechnologie
VoIP ist zwar als Fachthema wegen der einhergehenden technischen Besonderheiten und in dem Bereich der Kommunikationsinfrastruktur bei Unternehmen in aller Munde, jedoch findet die VoIP-Technologie noch keinen flächendeckenden Einzug als Arbeitsmittel an deutschen Hochschulen und Forschungseinrichtungen. Neben der Tatsache, dass die meisten Hochschulen als Landesbetrieb an das Haushaltsrecht de...
متن کاملStrategisches zu Campusmanagementsoftware
Hochschulen sind stark heterogen organisierte Institutionen. Ihre Verwaltungsprozesse sind so vielgestaltig, wie deren Unterstützung durch IT-Systeme. Hersteller „voll integrierter“ Campusmanagementsoftware (CMS) versprechen den Student Life Cycle umfänglich digital abzubilden. CMS sollen Einsparungen in Verwaltungen und Servicesteigerungen für Studierende herbeiführen. Konferenzbeiträge um die...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Zeitschrift für die Alttestamentliche Wissenschaft
سال: 1883
ISSN: 0044-2526,1613-0103
DOI: 10.1515/zatw.1883.3.1.87